Section: Partnerships and Cooperations

European Initiatives

• ENVISAGE (Engineering Virtualized Services) is a EU FP7 project, with starting date October 1st, 2013, and with a 3-year duration. The project is about model-based development of virtualized services, including tool support for resource analysis. Most Focus members are involved.

• Hats (Highly Adaptable and Trustworthy Software using Formal Models) is an EU Integrated Project from FP7, started March 2009 and with a 4 year duration. Hats studies formal methods for obtaining high adaptability combined with trustworthiness in the setting of object-oriented languages and software product lines. Most Focus members are involved.

• PLATFORM (Practical Light Types for Resource Consumption) is a Marie Curie IOF project from FP7, started July 2011 with a three-year span. It involves one Focus member, Gaboardi, in research work at University of Pennsylvania and in Bologna. Project aim is the development of a practical programming language with information, in the form of dependent types, about the resources needed by programs during their execution, and where type checking a program will naturally correspond to exhibiting a certification of its resource consumption.

  Gaboardi has been in Philadelphia till July 2013, and then in Bologna till October 2013. (He has then moved to Dundee, where he has obtained a tenure-track position.)

• The ICT COST Action BETTY (Behavioural Types for Reliable Large-Scale Software Systems), initiated in October 2012 and with a four-year duration, will use behavioural type theory as the basis for new foundations, programming languages, and software development methods for communication-intensive distributed systems. Behavioural type theory encompasses concepts such as interfaces, communication protocols, contracts, and choreography. Main persons involved: Bravetti, Giachino, Lanese, Laneve, Mauro, Sangiorgi, Zavattaro.

• In the context of the EIT activity "HCI Technologies for the Digital World", funded with 23000 euro, we have worked to the technical part of the EIT ICT Labs Summer School, Intelligent Services for Digital Cities (ISDC-2013), which has been held in Trento in September 2003 (http://www.trentorise.eu/education/intelligent-services-digital-cities-isdc-2013-summer-school ).

  In particular we developed a SaaS component, called WSOA, to our cloud oriented framework JSOA. WSOA can publish a set of APIs for external usage which are selected from those deployed into the PaaS layer (PaaSSOA). APIs are collected by exploiting the aggregation mechanism of Jolie and then deployed into a Jolie web server (Leonardo). They can be published by defining different protocols/formats such as http/soap, http/json, http/POST/xml, and so on. Thanks to WSOA we also developed a plugin for the SATIN project where the published APIs can be automatically imporyed into SATIN console and used for creating web based mobile applications.

  To provide a comprehensive tool for the students of the smart city summer school, we developed a wrapper for the CKAN platform in order to import all the CKAN APIs into PaaSSOA. In such a way, it is now possible to perform calls to the CKAN platfrom by exploiting Jolie services deployed into PaaSSOA.

  Main persons involved: Gabbrielli, Guidi.

• ENS Lyon (on concurrency models and resource control). Contact person(s) in Focus: Dal Lago, Gaboardi, Martini, Sangiorgi. Some visit exchanges during the year, in both directions. One joint PhD supervision (J.-M. Madiot).

• Inria EPI Spades (on models and languages for components, reversibility). Contact person(s) in Focus: Lanese.

• Laboratoire d'Informatique, Université Paris Nord, Villetaneuse (on implicit computational complexity). Contact person(s) in Focus: Dal Lago, Gaboardi, Martini. An Italian PhD student (Marco Solieri) is working on his PhD thesis with joint supervision (Martini, Guerrini).

• Institut de Mathématiques de Luminy, Marseille (on lambda-calculi, linear logic and semantics). Contact person(s) in Focus: Dal Lago, Martini. One joint PhD supervision (Michele Alberti).

• Team PPS, University of Paris-Diderot Paris 7 (on logics for processes, resource control). Contact person(s) in Focus: Dal Lago, Gaboardi, Martini, Sangiorgi. Some short visits in both directions during the year.

• IRILL Lab, Paris (on models for the representation of dependencies in distributed package based software distributions). Contact person(s) in Focus: Lascu, Mauro, Zavattaro. Some short visits in both directions during the year.

• EPI Carte, Inria-Nancy Grand Est and LORIA (on implicit computational complexity). Contact person(s) in Focus: Dal Lago,Gaboardi. Some visits during 2013.

• LMU Munich (M. Hofmann) (on Implicit computational complexity and IntML). Contact person(s) in Focus: Dal Lago.

• IMDEA Software, Madrid (G. Barthe) (on Implicit computational complexity for cryptography). Contact person(s) in Focus: Dal Lago. Some visits during 2003.

• Facultad de Informatica, Universidad Complutense de Madrid (on web services). Contact person(s) in Focus: Bravetti. Bravetti is an external collaborator in the project “ESTuDIo: ESpecificacion y Testing de sistemas altamente DIstribuidos” (Specification and Testing of Highly Distributed Systems) January 1, 2013 - December 31, 2015 (3 years). Funded by the Spanish Ministerio de Economia y Competitividad